Classical logic

Results: 885



#Item
321Knowledge / Charles Sanders Peirce / Philosophy of science / Philosophical logic / Philosophical movements / Pragmatism / George Herbert Mead / Rational choice theory / Reason / Philosophy / Science / Pragmatists

Classical Pragmatism on Mind and Rationality

Add to Reading List

Source URL: act.maydaygroup.org

Language: English - Date: 2013-12-24 14:27:14
322Model theory / Philosophical logic / Modal logic / Non-classical logic / Universal algebra / Μ operator / Epistemic modal logic / Common knowledge / Structure / Logic / Mathematical logic / Mathematics

Finitary S5-Theories Tran Cao Son1 , Enrico Pontelli1 , Chitta Baral2 , and Gregory Gelfond2 1 2

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2014-08-06 20:47:54
323Modal logic / Philosophical logic / Logic in computer science / Non-classical logic / Philosophy of language / Accessibility relation / Epistemic modal logic / Propositional calculus / HOL / Logic / Mathematical logic / Mathematics

Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2011-07-27 09:29:54
324Abstraction / Axiology / Knowledge / Modal logic / Vacuous truth / Logic / Science / Non-classical logic

LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC When It’s Time for Them to “G

Add to Reading List

Source URL: www.loveandlogic.com

Language: English - Date: 2014-08-01 13:00:55
325Quantum state / Quantum superposition / Observable / Hilbert space / Schrödinger equation / Wave function / Operator / Position operator / Quantum probability / Physics / Quantum mechanics / Quantum logic

Heylighen F[removed]): "Classical and Non-classical Representations in Physics II: Quantum mechanics", Cybernetics and Systems 21, p[removed]Classical and Non-Classical Representations in Physics II: Quantum Mechanics

Add to Reading List

Source URL: pcp.vub.ac.be

Language: English - Date: 2014-05-02 12:27:32
326Non-classical logic / Logic programming / Reasoning / Proof theory / Logic in computer science / Prolog / Defeasible logic / Curry–Howard correspondence / Inference / Logic / Mathematics / Mathematical logic

Rule-Based Interactive Fiction (Full Presentation) Chris R. Martens Zachary A. Sparks Claire E. Alvis

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2011-11-16 11:33:49
327Logic puzzles / Games / Cryptic crossword / Sudoku / Human behavior / Word square / Classical cipher / NP-complete problems / Crosswords / Leisure

18 PUZZLES TUESDAY JANUARY[removed]HOROSCOPES

Add to Reading List

Source URL: www.territorystories.nt.gov.au

Language: English - Date: 2015-03-04 17:41:34
328Non-classical logic / Reasoning / Knowledge / Knowledge representation / Programming paradigms / Knowledge representation and reasoning / Non-monotonic logic / Stable model semantics / Default logic / Science / Logic programming / Logic

ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG*: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg.

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2004-06-18 11:01:46
329Science / Classical mechanics / Kinematics / Dynamical systems / Mechanics / Constraint algorithm / Constraint logic programming / Physics / Mathematics / Constraint programming

@ Computer Graphics, Volume 22, Number 4, August 1988 A Modeling System Based On Dynamic Constraints Rouen Barzel

Add to Reading List

Source URL: www.ronenbarzel.org

Language: English - Date: 2006-10-19 16:54:58
330Philosophy of mathematics / Epistemology / Fuzzy logic / Logic in computer science / Non-classical logic / Intuitionism / Intuition / Fuzzy set / Scientific method / Logic / Science / Mathematical logic

WARRANE OCCASIONAL PAPERS NUMBER 10 * NOVEMBER 2009

Add to Reading List

Source URL: www.warrane.unsw.edu.au

Language: English - Date: 2014-09-12 00:55:24
UPDATE